Model-based testing of PLC programs with appropriate conformance relations

International audienceNumerous theoretical results have been obtained in the field of conformance testing, a very promising formal technique to improve dependability of critical systems. Nevertheless, developing on this basis PLC test techniques that produce correct conformance verdicts requires to take into account the real technological features of PLC. This paper proposes conformance relations that meet this objective. Examples illustrate the benefits of the contribution

Fibre à gradient d'indice adaptative pour réseau local domestique optique multimode et monomode haut débit

National audienceNous présentons des travaux théoriques et expérimentaux concernant une fibre optique à gradient d'indice optimisée pour supporter une propagation monomode lors d'une injection à partir d'une fibre monomode aux longueurs d'onde 1310/1550 mm tout en offrant une propagation multimode à 850m